/*****************************************************************************/
/*                                                                           */
/*                                  check.c                                  */
/*                                                                           */
/*                            Assert like macros                             */
/*                                                                           */
/*                                                                           */
/*                                                                           */
/* (C) 1998-2001 Ullrich von Bassewitz                                       */
/*               Wacholderweg 14                                             */
/*               D-70597 Stuttgart                                           */
/* EMail:        uz@cc65.org                                                 */
/*                                                                           */
/*                                                                           */
/* This software is provided 'as-is', without any expressed or implied       */
/* warranty.  In no event will the authors be held liable for any damages    */
/* arising from the use of this software.                                    */
/*                                                                           */
/* Permission is granted to anyone to use this software for any purpose,     */
/* including commercial applications, and to alter it and redistribute it    */
/* freely, subject to the following restrictions:                            */
/*                                                                           */
/* 1. The origin of this software must not be misrepresented; you must not   */
/*    claim that you wrote the original software. If you use this software   */
/*    in a product, an acknowledgment in the product documentation would be  */
/*    appreciated but is not required.                                       */
/* 2. Altered source versions must be plainly marked as such, and must not   */
/*    be misrepresented as being the original software.                      */
/* 3. This notice may not be removed or altered from any source              */
/*    distribution.                                                          */
/*                                                                           */
/*****************************************************************************/

#include <stdlib.h>

#include "abend.h"
#include "check.h"

/*****************************************************************************/
/*                                   Data                                    */
/*****************************************************************************/

/* Predefined messages */
const char *MsgInternalError = "Internal error: ";
const char *MsgPrecondition = "Precondition violated: ";
const char *MsgCheckFailed = "Check failed: ";
const char *MsgProgramAborted = "Program aborted: ";

static void DefaultCheckFailed(const char *msg, const char *cond, const char *file, unsigned line)
    attribute((noreturn));

void (*CheckFailed)(const char *Msg, const char *Cond, const char *File, unsigned Line)
    attribute((noreturn)) = DefaultCheckFailed;
/* Function pointer that is called from check if the condition code is true. */

/*****************************************************************************/
/*                                   Code                                    */
/*****************************************************************************/

static void DefaultCheckFailed(const char *Msg, const char *Cond, const char *File, unsigned Line) {
  /* Output a diagnostic and abort */
  AbEnd("%s%s, file '%s', line %u", Msg, Cond, File, Line);
}
